Model-based testing - PDFSEARCH.IO - Document Search Engine

Model-based testing
Results: 198

#	Item
171	COMPUTER ENGINEERING Scientific Committee Coordinator Jean-Charles Pomerol, University Pierre and Marie Curie and INSIS/CNRS, Paris, France Members Add to Reading List Source URL: www.iste.co.uk Language: English - Date: 2014-05-07 10:51:11 Science Constraint programming Scientific modeling Operations research Constraint satisfaction Mathematical optimization Agent-based model Model-based testing Software development process Software engineering Software architecture Computing
172	Property Verification for Generic Access Control Models1 Vincent C. Hu1, D. Richard Kuhn1, Tao Xie2 1 National Institute of Standards and Technology, 2North Carolina State University [removed], [removed], xie@csc. Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2009-05-06 01:00:00 Computing Software Model checkers Model checking Logic in computer science NuSMV Software testing Formal verification Role-based access control Formal methods Access control Security
173	[Downloaded from www.aece.ro on Tuesday, February 28, 2012 at 14:09:08 (UTC) by[removed]Redistribution subject to AECE license or copyright. Online distribution is expressly prohibited.] Advances in Electrical an Add to Reading List Source URL: ivanzuzak.info Language: English - Date: 2013-10-13 05:11:48 Automata theory Finite-state machine Graphical user interface testing Graphical user interfaces Model-based testing Software engineering Model checking Graphical user interface GUI widget Software testing Models of computation Mathematics
174	A NEW METHODOLOGY FOR OSI CONFORMANCE TESTING BASED ON TRACE ANALYSIS By RUSSIL WVONG B. Sc., The University of British Columbia, 1988 A THESIS SUBMITTED IN PARTIAL FULFILLMENT OF Add to Reading List Source URL: www.russilwvong.com Language: English - Date: 2014-04-27 13:09:37 Software testing OSI protocols Computer networking Network architecture OSI model Communications protocol LAPB Conformance testing Data Computing Information
175	Real Time Developer Studio user’s manual Add to Reading List Source URL: www.pragmadev.com Language: English - Date: 2014-05-15 03:08:40 Test automation Prototype Business Specification and Description Language Software testing Technology Model-based testing
176	M.Sc. Thesis Project at Ericsson AB for two students Comparison of model-based testing tools based on modelling of LTE functionality Two M.Sc. students are sought for this project, in which they get the opportunity to wo Add to Reading List Source URL: www.it.uu.se Language: English - Date: 2012-01-10 13:54:47 4G Ericsson Model-based testing Test automation Software development process LTE timeline LTE Advanced Software testing Technology 3GPP Long Term Evolution
177	Why Automate Test Design? Add to Reading List Source URL: www.conformiq.com Language: English - Date: 2013-11-26 08:12:18 Quality control Model-based testing Test automation Test management Test case Manual testing Test script Test plan Test engineer Software testing Software quality Quality assurance
178	Towards the Usage of MBT at ETSI Jens Grabowski Victor Kuliamin University of G¨ottingen, Germany Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-03-05 20:46:16 European Telecommunications Standards Institute Spec Explorer Modeling language Test management Software Science Software testing Evaluation Model-based testing
179	Not All MBT Tool Engines are Created Equal Add to Reading List Source URL: www.conformiq.com Language: English - Date: 2014-03-17 04:56:09 Test automation Technology Multi-core processor Algorithm Software Software testing Computing Model-based testing
180	ATD as an Improvement to TDD Add to Reading List Source URL: www.conformiq.com Language: English - Date: 2013-12-10 10:09:02 Test-driven development Test automation Model-based testing Unit testing Software development process Agile software development Extreme programming Requirement Test Software development Software testing Software

UPDATE